Theorem proving
[计] 定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
He is on another line right now.
他正在接另一个电话。
With my heart in my boots, I went into the dark room.
我战战兢兢地走进那黑洞洞的房间。
There are some in the cupboard.
碗橱里有几只。